|
|
Automatic verification of software packages with help of DNS
Sehnoutka, Martin ; Dvořák, Jan (oponent) ; Jeřábek, Jan (vedoucí práce)
This master’s thesis deals with the problem of secure software distribution. An enhancement for the current state is proposed with the help of the domain name system which is used as a storage for verification keys. These keys are necessary for integrity verification of packages downloaded using a package manager. Furthermore, an extended version is proposed, which takes into account also repository metadata. Both versions are implemented using the Python programming language and integrated into the dnf package manager. This implementation is then tested in a virtual environment, discussed and evaluated in terms of its performance.
|
|
|
SOFAnet 2
Papež, Michal ; Bureš, Tomáš (vedoucí práce) ; Malohlava, Michal (oponent)
SOFAnet 2 DIPLOMOVÁ PRÁCE Michal Papež Katedra distribuovaných a spolehlivých systémů, 2011 Abstrakt: Cílem SOFAnet 2 jakožto síťového prostředí komponentového systému SOFA 2 je jednoduchá a rozumná výměna komponent mezi jednotlivými uzly. Sou- časné požadavky uživatelů SOFA 2 na distribuci software jsou analyzovány a disku- továny. Protože koncepty SOFA 2 nejsou navrženy pro účely distribuce, byly zave- deny nové koncepty pro aplikace a komponenty. Tyto nové koncepty jsou mapovány na koncepty SOFA 2 a studovány na formálním množinovém modelu. Pomocí to- hoto modelu jsou definovány operace pro distribuci, instalaci a odstranění aplikací i komponent. Jsou také navržena pravidla, podle kterých je možné vyčistit repoz- itář SOFA 2 od nepotřebných částí software. Koncept SOFAnetu 2 je ověřen na prototypové implementaci. 1
|
|
|
Automatic verification of software packages with help of DNS
Sehnoutka, Martin ; Dvořák, Jan (oponent) ; Jeřábek, Jan (vedoucí práce)
This master’s thesis deals with the problem of secure software distribution. An enhancement for the current state is proposed with the help of the domain name system which is used as a storage for verification keys. These keys are necessary for integrity verification of packages downloaded using a package manager. Furthermore, an extended version is proposed, which takes into account also repository metadata. Both versions are implemented using the Python programming language and integrated into the dnf package manager. This implementation is then tested in a virtual environment, discussed and evaluated in terms of its performance.
|
|
|
SOFAnet 2
Papež, Michal ; Bureš, Tomáš (vedoucí práce) ; Malohlava, Michal (oponent)
SOFAnet 2 DIPLOMOVÁ PRÁCE Michal Papež Katedra distribuovaných a spolehlivých systémů, 2011 Abstrakt: Cílem SOFAnet 2 jakožto síťového prostředí komponentového systému SOFA 2 je jednoduchá a rozumná výměna komponent mezi jednotlivými uzly. Sou- časné požadavky uživatelů SOFA 2 na distribuci software jsou analyzovány a disku- továny. Protože koncepty SOFA 2 nejsou navrženy pro účely distribuce, byly zave- deny nové koncepty pro aplikace a komponenty. Tyto nové koncepty jsou mapovány na koncepty SOFA 2 a studovány na formálním množinovém modelu. Pomocí to- hoto modelu jsou definovány operace pro distribuci, instalaci a odstranění aplikací i komponent. Jsou také navržena pravidla, podle kterých je možné vyčistit repoz- itář SOFA 2 od nepotřebných částí software. Koncept SOFAnetu 2 je ověřen na prototypové implementaci. 1
|
host ::
RSS.